OK. Nevermind. It just occured to me to look in the source code for the page, and I found out that the alphabetlist extension is the culprit. Apparently it has duplicate 'default' entries in it's locallang_db.php file. Sorry for the clutter of e-mails. Thanks!