Thread:Athanos/@comment-31171643-20170512095228/@comment-26484417-20170512104131

Thank you; the redundant "the" is no more.