Update of documentation + minor bug fixes.