Changed the title

I changed the title in both Isobel's branch, and Anthony's branch to see
what happens when I want to merge both changes into  file.
My hypothesis is that the last one to be pull requested overwrites the
former one.