Fix hyperzine, again