fix phpHint as well (oh oh)