Minor change in commands.html