Fix documentation (modules were renamed)