Reverted some erroneously modified files