not an issue for this PR, but I've wondered if this needs a comment