Fix mistake in formatting.