Fix a very silly mistake in r183590.