Minor changes to auto-reload.js