Fix doc build and squash a warning