Thanks do Andries Brouwer for reporting the problem and suggesting a way to fix it.
Attach a file by drag & drop or click to upload
