Typos fixed, documentation files deleted so that they can be generated fresh.