fix small inconsistency