The typification of Agaricus faslibilis Pers.: Fr. is discussed. The neotype, which has been designated by Singer, is rejected. As lectotype the illustration of Agaricus laterinus by Batschis designated. Problems associated with a special typification status for sanctioned names are discussed.