Text this: Manual editing of automatically recorded data in an anesthesia information management system.