Tiny runtime fix