CFGLinker: little fix