minor bugfix in main.do