Tiny performance fix