bug in supervision of GibbsIncr