PHPDoc fix for FileLoader