fix includes in the docs