Let's merge this without worrying about it, but I think we should remove this `const` at some point soon.