Undone useless minimisation