minor
improved documentation
Merge remote-tracking branch 'mainGitHub/develop' into develop