Use the address specified in the actual commit, to placate
'make syntax-check'.