bugfix; documentation improved