Javadoc bug.