Fixed some typos in boolean operations (| versus ||).