minor fix in PosTreeTagger