fix error message, missing space
add missing documentation
fix Jenkins job
Merge pull request #1366 from pitr-ch/story/configuration

Fix Jenkins job