Clarifications in the comments.