Fix one dumb bug