fixed some Autoexamples examples