fixing the WithDemo example.