a bug fix!