Make MenuViewController deal with its own animation