Al's last changes mean that it is now annotated as a user pointer, and we want to avoid warnings.
Attach a file by drag & drop or click to upload
