another encoding problem, this time regarding HTMLAttributes