Another tiny fix in run