Update of HP decoders: