DIST documented

Well, it is very minor but it could save some time to new comers...