Issue #2009018 follow-up by StephaneQ: One more replace theme() with drupal_render() in filter module.