Small lint-fix for hhvm.pp

Change-Id: I3130327a5210d708b5ff41409424f9c9647e9900
Merge "Small lint-fix for hhvm.pp" into production