Minor improvement of example