fixed typos in builtins