The usual: a tiny typo after publishing

Fixes a minor typo.