Fixed a small inconsistency