There's no need to cast away constness here