Fixed bug where YARV instructions were not HTML-escaped properly