this makes PHP Analyzer happy