Fix two wrong uses of "data constructor" in error msgs