Updated files demonstrating existence of bug