Fix mistakes and format in Javadoc