PHP 5.3 compatibility

As per #7