Add mineshaft feature.

Another very minor changes.