Tiny correction to comment