pretty-printing for alignment