Log for pull request #3544