Getting space by shrinking a partition (Should know)