Incremental build: small fixes
Incremental build: small fixes

hotdoc/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc