Fix copy/paste error (thx to @dbuenzli)