bugfixes in the problem definition