Lentinus sect. Velutini not found