Minor fix for HHVM