Fix issue under PHP 5.3

Should resolve #173