Fix HERMIT writeup