tiny fix Mainfile