These jsmin fixes are now verified to be correct.