Added a missing piece of documentation