Backward compatibility with PHP-4.0.6: array_key_exists() -> isset()