chiark / gitweb /
fix some fallout from tab removal