other minor changes in vme-web