comment for future fix of number_marked