small changes, htmlspecialchars