Nightly: nicer table header (#514).