Fix of src-dist inconsistency (#135)

5 files changed