Another python3k fix