Fix docs for #73