One more Python3 fix. #51