corrected php according to php-lint