redo fspec