Minor enhancement of Javadoc comment describing the class