Minor beautification of output of dx <unknown command>