I went back to fix other things anyway, so I did this as you suggested.