A few javadoc improvements