Shutdown: help the style leak printer out a bit.