Change in jenkins[master]: Some minor changes to the manual job