Updated files to fix a bug.