Grimmia ovalis Lindberg, 1871