Small optimization

Very very tiny change. The comment in the source explains what it does.