Issue #15527: remove double parens by changing markup.

Patch by Serhiy Storchaka.
8 files changed