#137: Mistake in ExplicitHashSetInstantiationRule violation message