Added a piece of documentation