Fix minor inconsistency