fix compilation docs