Fixing stupid mistake in docu