Fix false comment in the header.