build-docu fix