Module: attributes are added.
A mistake in javadoc is fixed.