fix a bug in reformatAnno()