Fix typos in the documentation
Fix erroneous Javadoc tags.