Use the right type here; Xcode complains about it.