That's about as elegant a shutdown as I can get.
Plus plenty of comments! :-)