changed some formatting in the text manual

The way it looked before was ugly.