Fixed a bug that failed doc/example_aut.m