fix bugs in monotype restriction code