Some doc building changes