SemaphoresAndMutex: whitespace cleanup