Fix typos
More thoughts on modules