bug in latest hot start code