Restored accidentally deleted source files.