php-mode fix