This fixes an apparent copy-and-paste error. Patch by Manuel Jacob.
Attach a file by drag & drop or click to upload
