python3 does not seem to need this