I finally realised that this was a sed "replace" statement (a very long time indeed since I used sed).