Fix another obvious mistake.