Small adjustment to #7054

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