Tidy some Javadocs