Fixed some wrong types
Fixed an example