visual glitch: oops, $pager wasn't getting substitued.