Fix sha3.asd ident breakage again.