Fixed style of NO WARRANTY from @heading to @strong because texi2html complained about having a heading in an enumerate environment