Hah - another case of appreciating Mastodon's 'edit post' feature so I could fix a dropped paren.