Actually, Vences et al restored Acrantophis and Sanzinia in 2001. So Acrantophis madagascariensis and Acrantophis dumerili are again the correct names.