Yup, that makes sense. I just copy-pasted the original definition and didn't think to modernize it.