bug fix for HHVM