Update documentation to follow 2dc3b476aff28

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>