fixed for use with php 5.3