* make sorting of headers a bit smarter: