Fix encoding again...