#3670
Fix comment as a way to trigger a build check, since I couldn't figure out how to use git commit --amend properly to add the #3670 tag...