Forgot to update a comment after rewriting most of it.