placate python3.