More fixes on documentation