Remove some extraneous text, tidy a URL

Alright, I cleaned up my history, and now this PR looks nicer.