Page replacement counter properly incremented.