trivial change in mudcommands.txt