I went ahead and merged, but why not just !opt.less ?