Fixing up careless use of sed