minor fix for command-line options with dash