It turns out you are correct!