Cosmetics ; bugfix in workflow transition.