#324 mod htmlspecialchars option