--- a/src/TabularPrefetchingHandler.h	Sun Dec 09 23:27:22 2018 +0100
+++ b/src/TabularPrefetchingHandler.h	Sat Dec 15 01:42:47 2018 +0100
@@ -180,6 +180,7 @@
 		columnTypeCodes.resize(columnCount);
 		columnNames.resize(columnCount);
 		columnWidths.resize(columnCount, 0);
+		fill(columnWidths.begin(), columnWidths.end(), 0);
 		for (int i = 0; i < attributes.size(); i++) {
 			columnNames[i] = attributes[i].getAttributeName();
 			columnTypes[i] = attributes[i].getTypeId();