Fix doc builder