Javadoc - a few minor fixes