Small changes to lispcommands.txt