Change in gerrit-admin[master]: Fixed error message on check-prod