doc: fix compilation