Fix silly mistake in previous change.