merged with the fix for #129 on branch 1.12.4
fixed one failing example
fixed the auto examples