Re: [PATCH] docs: Fix some types