Fix documentation for chili ticket #437