fix a typo in Documentation/pi-futex.txt