--- a/src/oct-hist.cc	Wed Oct 05 22:54:26 1994 +0000
+++ b/src/oct-hist.cc	Fri Oct 07 14:13:44 1994 +0000
@@ -208,12 +208,15 @@
 		  }
 	      }
 	      break;
+
 	    case 'w':		// Write entire history.
 	      result = write_history (file);
 	      break;
+
 	    case 'r':		// Read entire file.
 	      result = read_history (file);
 	      break;
+
 	    case 'n':		// Read `new' history from file.
 // Read all of the lines in the file that we haven't already read.
 	      using_history ();