added note on double cast