It's possibly a bit confusing to have a string that looks like it's value is "/" but can actually be "\". But only a *bit* confusing, so leave it as is if you like.