Fix docs for [#233]