Fixing typos in Jb/Jf_exact