minor example polishing