python3 tweak. #113