fix up issue 10186

Moved it to semantic2.