PHP 5.3 fix. Fixes #634.