Documentation fixes and work on ABDD