Make PHPCS happy