Mere tweaks (and updated README)