Added missing dealloc-like operations to didTurnIntoFault