then no worries, i can always fix that with a php-cs-fixer fixer, that would actually be something good to do