fix whitespace
procedure arity