Notes on the diatom collection of the Natural History Museum, London (BM) V: (a) ‘Stictodiscus manillensis’ nom. nud., (b) Stictodiscus pantocsekii and ‘Stictodiscus pantocsekii var. minor’, (c) a note on the name ‘Stictodiscella’; and (d) some comments on Jósef Pantocsek’s Beiträge zur Kenntnis der Fossilen Bacillarien Ungarns