intprops.h: adjust comment to match code change