Some additions in Javadocs