@AndrejMitrovic: Done, but it reformats the example, making it look terrible. Is there any way to prevent this?