Correct a times-by-divide-by two error.