Bug fix in rwsem.c