On Sun, Jun 30, 2019 at 3:15 PM Eli Zaretskii <eliz@gnu.org> wrote:
> > Thanks, but maybe @w{@code{@var{stride} * @var{height}}} would be more correct?
>
> Yes, of course.

Okay, I wasn't sure. Updated patch attached.