Fix mistake in 1414b30