fix pointer type