Bug fixes in Recovery and REDO