Extremely minor runtime fix.