with opType verification fix