minor fix: use proper pointer type to avoid warning