Use builtins correctly in python3