Coprinellus sect. Setulosi not found