Bugs fixed -- src file lost