Fixed an example