Change: forgotten indentation on a PHP file