Complaint from PHPStorm. Should the following lines be indented further?