Added a minor detail