Fixed a bug in method markKnown.