Undo part of previous change, in case it makes command line too long