Fix current build

This is annoying, we have to find a way to avoid pushing dummy updates like this to the doc