HTML entity (same for lines 78 and 84)