Properly encode ampersand