Fixed the bug that left out the builtins.