Reply to Hehe on "Korektor #192"