Fixed problems in documentation building