Fix an HDL shutdown issue.