Fixed a small inconsistency.