Remove extra mach_wait_until()