BugFix: previous commit did not take into account not written syns.