#885: document

This documents the change made in #888 for #885.

@matthewrmshin, please review.