fixing typos in bitwise comparison specs