bug fix, of course