Yes, you're right. This is indeed overly fancy, but works.