fix issue with builtins