Some minor CS fixes (php-cs-fixer ran)