Small tweaks to Javadoc and README