PHP7 bug fix