Fixed a bug with HHVM