fix documentation bug introduced by 8c6dce98c83175fb33e07ec9b4f3af54ef8411b9