Minor style change in instance manager script