Minor tweaks

A couple of minor changes suggested by @JamesHeinrich, plus remove an extra / in a URL.