Fixes some bugs, including a serious bug involving Boolean searches of length 1 between versions 4.0 and 4.1.