If it happened to me i'd do much like you did. Move the compost and 'wash' the soil out.