Trivial changes in comments in "main.js"