more Undo specs/fixes for setVal()