Devel

More fixes to docs