fix embarassing command-line bugs