incorrect markup for TOC fixed (this is a minimal PR, created partly to test-run PR process which recently didn't work)
Actually there is #504 which does same. So if you don't mind, I will close this.
Let's close it in favor of #804.
Pull-Request has been closed by ignatenkobrain
incorrect markup for TOC fixed
(this is a minimal PR, created partly to test-run PR process which recently didn't work)