cw: minor bugfig for '||'