HTML entity in documentation