Oops, patch up a botch in my last edit of rss.xml!