#10597: Correct instructions on digging for sand