* fixup after yesterday's changes
* cleanup in version.js and application.js