Last-minute modification for my example.