Additional documentation for a code segment that we did not write