get command line options

Small bug: missing use of options to get the command line options.

cheers