minor copy change, hopefully this kicks github into regenerating the page