books/bookvol10.{2,3,4} fix failing domain tests