Another small optimization