Minor typos / refinements