Fix ReadNumArgs.