Two silly things I noticed since this is just example code and it is not
tested.