version 0.5.3: added .encodingFromHeader method