more compat with php 5.3