It might be intentional, that the default autoloader did not include the +1 trick, because in the general case `"\\" !== DIRECTORY_SEPARATOR`. 
PHP does normalize it, but if you are already using `DIRECTORY_SEPARATOR` in the autoloader, why omit there.