This answer was supposed to be an edit of prior answer, but the software incorrectly posted it as a new answer.
Update I found another probably related problem - see my comment to Jeff's answer. Now I am reasonably sure that this is a bug in the software, viz. the software can be in some inconsistent state if one uses "Back" in the browser.