Never mind; we don't have encoders