Fix server side rendering with PHP 5.3. re #82