HTML encode bugfix