integrating some typos/small comments