minor fix.
Fixed treatment of command-line arguments. Close #309.