now also works in python3