(*) bug fix