minor html typo