Document a previously undocumented option