rename due to typo, got rid of ghost semaphore release()