fix some nuissance formatting problems for the "alltt" environment;
there's still a bug for the environment, but that's worked around in
this change as well
1 file changed