Fix some issues with doku