Correct doc building, which was wrong