Yeah simple fix, but my PR is also not yet merged ...
# contributors
s
Yeah simple fix, but my PR is also not yet merged 😅