Don't mix const and non-const pointers. This should make jenkins happy again.