PHPStorm does not agree.