corrected typos in 9.3