Insight: Fix a tiny bug.

Fix a tiny bug.