Lets see if htmlspecialchars does what we want