Remove references to senderToken

This was replaced with senderLock at some point during the development,
but some old comments weren't fixed.