small, but important fix