encoding is fine