bugfixes to backwardsolver