This seems right. I'll be removing this comment.