Typos in IR implementation