Managing error-prone spreadsheets