After a second thought, if $PAGER is NULL, fallback to less would be better.