Update encodingDetails.md