fix tiny irrelevant bug