shrinking directories (from kre)