Added details about downcasting