Semaphores: Addressed some style issues