typos & reformulation