This fixes #4659.