MatcherPosition: replace Integer with int in the index