Tiny fix to shutdown sequence