Fixed Jenkins deployment credential issue (root cause is the wrong tag
used)