Fix tux paging counters

Change-Id: Iadc6ddee1f39111a1e56bed00b26873562648dc3