Remove outdated notations `pr1` and `pr2`

Replace them with `.1` and `.2`.