fix minor inconsistency