corrected (?) mistake in morphism of comonads