deleted double "the" typo #3785