I think you're right, but I also think this is fine.  Or at least, not a problem worth fixing.