Disentangle CRAM header loopiness [minor]