Fixes #114. A last minute changed broke the command line.