Fix mistake in logging of maximum