casting not needed. Fixes rSKab6dfd83de16