Fixes #4604: correct typo in the lock file extension, plus correct wordi...

...ng