Tweakage.
Kludge-fix parse problem when '***' is found in an EXAMPLE block.