fix der encoding