Renamed touched_page_t fields to not be .first and .second.
Minor whitespace change.