Minor edits to javadoc and README