1.0.37.14: fix the other half of the WAIT-ON-SEMAPHORE buglet