Work around Python 3 stupidity