undoing an unfortunate auto-format