Slight improvement of example.