Fixed a substitution problem in which too many things were getting substituted in a sed command.