made a very small semantic change

I really need to double check before I push next time