Minor changes in DynaVIBe