Common GUI design mistake, fixed in Ubuntu Wed May 14 2008 16:57:57 GMT+0100 (British Summer Time) He ought to be happy now!
