Remove extra numbers and slashes

This was a merge failure where we upstreamed a change, and then when merging that upstreamed change, it got duplicated.

This will auto-merge (ha) on November 6th!