Small but interesting addition to javadocs.