Remove the reference to the OSATE bug that contains
the same subclause twice.