Minor Javadocs additions