Fix a typo in the KH setup