just a little bug fix