Agreed, thanks for the extra details. You're right, and there's no real issue here.

Merging now. Good job!