Bug fix in CodecManager.