cosmetics only; even the unquoted echo $1 would not have caused any problems

Change-Id: Iabae872fe6232dc1cd627b736f0c4fc5a8611037