Mini change
Bug in Fault-Handler