Fix a confusion of mine

This is already somewhat addressed in another function