Fixed issue to be PHP5.3-compliant