Add some documentation that got lost...

…in 0520ab0d47f4f1b60e59ebfbf88435060e735444