Thread:Inconsistency/@comment-25100807-20180711164524/@comment-32364324-20180711164620

Good. Just removing unneeded trivia.