Documentation: Fix mark-up of lines with more than one tilde