small optimization

I think it's obvious...