Yes, probably.
AllowDirectorySeparators seems to be defined as both forward and back slash. That is, in my opinion yet another reason to use the string.split() approach. If I used GetDirs() I would want to know that it is going to mess with both slashes, thats quite wrong, it should only operate on the PathDelim character appropriate for that OS. Yes, I know, 99.9% of cases it will not matter but ...
Davo