Fix the sed commands so that reset.sh works