fixed some minor typesetting.