A few more changes to the section about HCI