Editorial fixes in yaal documentation.