Fixed a bug with php 5.3

Minor coding difference