Minor change (Python 3 compatibility)