--- WTable.C	2013-07-03 22:10:09.000000000 +0200
+++ WTable.C.new	2014-05-05 18:43:42.340634400 +0200
@@ -434,6 +434,8 @@
   for (unsigned i = 0; i < rows_.size(); i++) {
     std::vector<WTableRow::TableData>& cells = rows_[i]->cells_;
     WTableRow::TableData cell = cells[from];
+    cell.cell->column_ = to;
+    cells[to].cell->column_ = from;
     cells.erase(cells.begin() + from);
     cells.insert(cells.begin() + to, cell);
   }