Change suggested by Eryk Sun in a comment on PR 7137 after it was merged.
Attach a file by drag & drop or click to upload
