Minor shellscript fix