> Yep, and it was already fixed and merged

Oops, sorry for the noise and thanks for fixing it!