fixed minor mistake in doku