Update Run.php

GNU style formatter