minor clean-up (Python3 related)