Fix failure on Semaphore (forgot to migrate, sorry!)