Tiny change to fix typo in HTML entity.