Fix a bug in 'generate-new-buffer-name'