A couple Python 3 syntax repairs