Added some documentation that was missing from the previous commit