A minor fix for javadocs.