Fix embarassing typo in cmd line specifcication