No error if mutex is already released