Another bug in the autoloader