wmi_pager: give better names to some variables