Fix one mistake