Further Python3 tweak.