The "automatic cast" example fixed

It was not compilable