Adjust formatting to make PHPCS happy