Also, do we know if that is the right encoding?  I'm not sure if it's ever been checked.