Use correct pointer types (fixes compilation)