solve a small duplication bug