Made code compatible with php-5.3