minor command line fixes, issue#400