Bugfix in modman