minor: python3.1 compatibility