Minor bugfixing related to jtable headers