Pretty sure the QRH drives you to attempt and control the cabin pressure manually, so it shouldn't be a surprise if they did in fact make that effort.