Fixed a small issue that caused incompatibility with php 5.3.