a few small changes for halting Amf