Minor rewriting of Javadoc comments.