Bugfix of Position::has_repeated()