Arnaud Desitter points out a silly mistake in retrieve_cutbuffer()