use real tty width, not just 80