fix hhvm bug