bugfix in hurwitz.gi