cosmetics: Prettyprint some commands.