Tiny typo fixes in HIL