fix verbatim HTML in scaladoc comment