Small fixes to the "Other commands" section