Frontend: other minor fixes in xtreemfs.js