resizing some pictures with the GIMP.