Minor, but important fix