fixes #13210: clean up tooltip example