chiark / gitweb /
Fix error highlighting after table rearrangement.