I saw some typo's in libraries.org on the website. Seizing the occasion, I'm also resending an older typo fix that either fell through the cracks or was silently rejected. I hope I'm using git-send-email right... I hardly ever use it.