modify some typesetting in datail