Fix no_softlink docs