Correct formatting with PHP-CS-Fixer