fix typo and missing Builtins prefix