After reading in the history of a MINC file, a new line is added to the history string right away. This ensures that the current command (when adding history information) will be seen as a separate command.