Yes, it should.  The only reason I used a hyphen is because it looks like there is some kind of automatic anchor creation going on, to create HTML anchors from section titles, and I didn't know what the algorithm would do if I used a slash.  The anchor for that section is used elsewhere, so I needed to know what it would be.  Rather than trying to figure out the magic behind it all, I used a hyphen to side-step the issue.  But if you know how the auto-anchor-generator works, please feel free to change it to a slash and update the links to it as needed.