Fix for warning about integer to pointer cast