Fixing rewriting of Signs