a few Python 3 helpers