Fixed a cast from pointer to int