fix for compatibility with PHP<5.5