Fix NumberFormatException in getTerminalWidth()