Build #5:   update the documentation to be more precise (#1) on branch master over 6 years ago

Build #14:   add another case to bump coverage (#13) on branch master over 6 years ago