Minor fix to handling of arguments in console