Some progress in documentation