Fix HHVM bug