Improve DP table formatting in terminal (fixes #6).