Bug #5297 : missing something important in HTML escaping...