verified and fixed first example.