set minimum for header width; maybe that is better?