little change: bug fix