--- plugin-install.php.ori	2010-01-06 21:52:56.265625000 +0100
+++ plugin-install.php	2010-01-06 21:53:40.609375000 +0100
@@ -552,7 +552,7 @@
 
 			echo "\t<div id='section-{$san_title}' class='section' style='display: {$display};'>\n";
 			echo "\t\t<h2 class='long-header'>$title</h2>";
-			echo $content;
+			echo wpautop( $content );
 			echo "\t</div>\n";
 		}
 	echo "</div>\n";