On trying the latest CVS, I was getting errors when reading any
article. The following patch fixes the problem.