KIEKER-1877 Minor documentation fix for the release.
KIEKER-1877 Minor documentation fix for the release.

kieker-monitoring/kieker,kieker-monitoring/kieker,kieker-monitoring/kieker,kieker-monitoring/kieker,kieker-monitoring/kieker