Modified according to changes in a HHVM 2.4.2 PR. Included header, chang...

...ed variable name