a bug fix