this was only used for builtins, so my edit was silly