Minor changes to ABP.hs.