Small fix in HCI-chapter.