Fix bug semafori deAlloc