Updating the examples in the haddocks