Fix markup in Encodings section