minor update (and bug fix)