2 more bugs found during dc synthesizing