Resolved in other comments.