May be stupid question, but is encoding correct here?