Some documentation is added.