Fixed a missing source file.