fix documentation in the Building section