bugfix in fossil constraints