Title: On some species of the genus Agaricus from Ceylon