Fixed bug in selection of compact vs full headers.