fixed some stupid mistakes regarding html-encoding