Correct ordering of free