Fix encoding of section signs