fixed the presentation of auto-examples in the console