Supply default terminal width to fix #795

It compiles. I didn't try to reproduce bug with dump terminal.