Cannot reproduce that, it's probably too late now, but for the future, please attach full solver log with POLDEK_TRACE=1 env, like:
$ POLDEK_TRACE=1 poldek -i valadoc
Cannot reproduce that, it's probably too late now, but for the future, please attach full solver log with POLDEK_TRACE=1 env, like:
$ POLDEK_TRACE=1 poldek -i valadoc