fix string in docker images

Fix #4531