Marc: fix a comment