Trivial Coverity fix
Merge branch 'PHP-5.5'

* PHP-5.5:
  Trivial Coverity fix