real bugfixes in the problem definition