fix bad url being pushed to website, bug report per Andrew Plumb