Fixed strange Javadoc bug.