added method to test downcasting