per suggestion from Tom Lane. This fixes crash-bug reported by Stefan Schwarzer.
Attach a file by drag & drop or click to upload
