some minor touch-ups for Mycologia