quick fix for wp-syntax’ plugin wrong html-entitiy escaping