Fix Hatetepe adapter and spec, broken by 69be64b and 17a9819