Commit 53979e0af0a583fff375f48da442f855fd73fae1

Tom Tromey 1996-01-03T19:34:40

Minor fixes