Added cast to keep MSVC happy