Make small code enhancements
Fix output of html codes of inline examples