Tweak Javadocs slightly.