minor format tweak in doc for decodeHeader