Fix for issues with dist file that popped up in issue #7