Supply default terminal width to fix #795

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