fix bug that caused informative sections to be marked multiple times under some circumstances