From Fabio Tarabelloni: fix copy-pasted comment.