Doc fixes in the SYNOPSIS.

.gitlab-ci.yml not found in this commit