Small adjustment to #7054

I thought this had been pushed but apparently it was forgotten.