Hi snispilbor, I have fixed the problem. Please make sure to use F5 or "Refresh" in your browser for changes to take effect  (I am currently working on other scripts and forcing the "automatic" version-based javascript update on users is a bit risky right now).

I reckon that's a case where javascript was not needed. Thanks for letting me know.