more conformance with php 5.4