main.js: back on august 5th, I made a commit in which I think i screwed up the label logic.  fixing it now.