Proper extension for example.