Slightly improved javadocs.