A minor but important fix