Remove strange characters in sidebar HTML formatter