picoC: fixes a comment