Update comment to reflect that a bug has been filed with PHP-analyzer.
Add missing semi-colon.