Minor javadoc improvements