Fixing issue shallow proposition recovery.