Fixing a minor inconsistency.