I would suggest to put an empty line above `Example` to make it more readable.