(minor) comment