slight HTML modification to documentation