Adjust remaining htmlspecialchars() accordingly