Fix bug in autoloader