note about casting

We should note that for casting we use the short forms if possible.