Jungermannia crenulata var. gracillima (Sm.) Hook. Brit. Jungermann.: tab. 37. 1813.
Accepted name is: