Fixed a minor inconsistency