minor changes in main.js