vtxyzzy,
Thank you for the hint. I did some digging and found that the code you were referring to was indeed missing, although it was missing from index.php rather than loop.php.
I also found this blog entry to be very useful:
Pagination on wordpress static page set to front page
