fixes very minor inconsistency