add missing sxc_shutdown() and some cosmetics