chore(hott) minor corrections