Bug fix: server doesn't have PHP/5.3.