minor fixup for view.sel()