Wrong cast, fixed in 5d6756fad75f5f28cc636957f86ee96d70112ccc