fixed a typo in preferences and applied HTML tidy to some documentation files