Fix HTML typo in the reference manual