fixes typos in texinfo for sba