From: Massimo Dal Zotto <dz@cs.unitn.it>

I have this small patch which fixes a typo in my previous lock patches.
Fortunately the bug affects only user locks.

-