Improves IChecker documentation.