Corrects the documentation for get_terminal_width().