Supply default terminal width to fix #795