Mention syncing bug (and workaround)