minor bug fix (php7)