Fix the docs about shakeLint, spotted by Anders Leino