A minor fix to javadocs.