This comment is probably left over from earlier.