Removed unnecessary \small{} block; latex2html got it wrong and its no

longer needed for printed output.