Oops, sorry about that! We’ll fix that in the next release.
Thanks for bringing this to our attention, and thanks for reading!