diff --git a/pr.pl b/pr.pl
index 2e40b85..46905bd 100755
--- a/pr.pl
+++ b/pr.pl
@@ -20,6 +20,7 @@ for($i=0; $i<@lines; $i+=50){
 	print "$now  $h  Page $page\n";
 	print "\n\n";
 	for($j=$i; $j<@lines && $j<$i +50; $j++){
+		$lines[$j] =~ s!//DOC.*!!;
 		print $lines[$j];
 	}
 	for(; $j<$i+50; $j++){
diff --git a/runoff1 b/runoff1
index 44fdcbe..ba42e8f 100755
--- a/runoff1
+++ b/runoff1
@@ -19,7 +19,6 @@ $linenum = 0;
 foreach (@lines) {
 	$linenum++;
 	chomp;
-	s!//DOC.*!!;
 	s/\s+$//;
 	if(length() >= 75){
 		print STDERR "$file:$linenum: line too long\n";