That's right. It's supposed to be a demon pun, but we weren't really sure if that would be easily understood by the readers. It's fine if the reader's Japanese because then they would be 100% sure that it's a joke (since they know how Japanese count for waltz-type dances), but we thought international readers might be confused whether this is just a Japanese culture thing or a demon culture thing. I personally confirmed with Japanese dancers that it is, indeed, supposed to be a demon pun, but yeah. Hope that clears things up.