Improves the IChecker documentation again;