Just fixing a copy-paste error in the fault detection skeleton