fixed bug in command-line option names