correction to OT logic