fixed typo in builtins.txt