Board Thread:General Discussion/@comment-24199126-20150305000055/@comment-24199126-20150402222940

Ah gotcha :). I think the addition isn't needed, but having it isn't a huge issue since, as Jjuser said, it's a small detail that doesn't distract from the rest of the article.