Fix typos and make some clarifications in the last post