use Python-2.5-compatible syntax