fix for top-levelness of builtins
3.5.11