minor edit in main.js