Fixed a bug about formalizing contigs