Further progress on documentation