Updating DOC module for use as an example in Carbon class