Fixed PHP < 5.3.6 compatibility issue.

(Fixes #769)