Make PHPStorm happy