Fix doc regeneration