small mistake in notes
small corrections
make it float on mosml again