Further fix in distribution module
Further fix in distribution module

LearnLib/automatalib,LearnLib/automatalib,misberner/automatalib,misberner/automatalib,bencaldwell/automatalib,LearnLib/automatalib,LearnLib/automatalib,bencaldwell/automatalib