making the current syntax embed HTML syntax properly