Fix copypasto (wrong op reported in an error message).