Fix html tag in documentation