Minor Python3 cleanup.