CLP(B): documentation improvements. Gernot Salzer.