Yep, you're totally right - that wasn't intentional. Like you said it's not a big deal, but it's a bit messy. I'll make a quick change to fix it.